Complete theory - PDFSEARCH.IO - Document Search Engine

Complete theory
Results: 1780

#	Item
361	Towards Complete Reasoning about Axiomatic Specifications Swen Jacobs and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-11-10 10:57:45 Model theory Functions and mappings Function Structure Axiom Interpretation First-order logic Mathematics Mathematical logic Logic
362	Correlation Clustering and Two-edge-connected Augmentation for Planar Graphs Philip N. Klein1 , Claire Mathieu2,3 , and Hang Zhou3 1 Brown University, United States Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2015-03-16 13:08:36 NP-complete problems Cluster analysis Correlation clustering Graph Minor Planar graph Dominating set Independent set Matroid theory Graph theory Mathematics Theoretical computer science
363	Local Distributed Decision∗ Pierre Fraigniaud† Amos Korman† David Peleg‡ Add to Reading List Source URL: www.liafa.jussieu.fr Language: English - Date: 2011-10-30 17:16:12 NP-complete problems Network flow Operations research Probabilistic complexity theory Randomized algorithm Modular decomposition Dominating set Flow network XTR Theoretical computer science Mathematics Graph theory
364	Patterns in permutations and diagrams with applications to Stanley symmetric functions and Schubert calculus Sara Billey University of Washington http://www.math.washington.edu/∼billey Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2013-02-11 11:15:29 Polynomials Algebraic combinatorics Symmetric functions Quasisymmetric function Ring theory Ring of symmetric functions Quasisymmetric Complete homogeneous symmetric polynomial Symmetric matrix Abstract algebra Algebra Mathematics
365	Course Information Sheet Course: BMGT 831 (Network Optimization) Add to Reading List Source URL: www.amsc.umd.edu Language: English - Date: 2010-10-25 17:36:24 Operations research NP-complete problems Academia Mathematical optimization Combinatorial optimization Computational complexity theory Shortest path problem Academic dishonesty Travelling salesman problem Theoretical computer science Applied mathematics Mathematics
366	A Complete Dataset of Political Regimes, Abstract This paper updates and describes a widely used dataset on democracy. Coveringand 213 countries, it represents the most comprehensive dichotomous mea Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2011-10-11 15:12:32 Democracy Elections Direct democracy Democratic peace theory Futurology International relations theory Outline of democracy Democratization Government Politics Political philosophy Sociology
367	Design of class hierarchies based on concept (Galois) lattices Design of class hierarchies based on concept (Galois) lattices Robert Godin1, Hafedh Mili1, Guy W. Mineau2, Rokia Missaoui1, Amina Arfi1, Thuy-Tien Chau1 Add to Reading List Source URL: intra.info.uqam.ca Language: English - Date: 2009-08-04 12:55:11 Structure Lie groups Algebraic groups Hierarchy Patterns Political culture Complete lattice Formal concept analysis Frame language Abstract algebra Mathematics Lattice theory
368	Complete Completion using Types and Weights Tihomir Gvero Viktor Kuncak Ivan Kuraj ´ Ecole Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-04-07 11:25:49 Programming language theory Proof theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Symbol Lambda calculus Monad Theoretical computer science Computer science Type theory
369	Polylogarithmic Network Navigability Using Compact Metrics with Small Stretch Pierre Fraigniaud∗ Cyril Gavoille† Add to Reading List Source URL: www.liafa.jussieu.fr Language: English - Date: 2008-04-15 13:07:10 Graph operations Tree decomposition Connectivity NP-complete problems Network flow Graph theory Theoretical computer science Mathematics
370	Collections, Cardinalities, and Relations Kuat Yessenov1⋆ , Ruzica Piskac2 , and Viktor Kuncak2⋆⋆ 1 2 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 09:06:44 Model theory Electronic design automation Logic in computer science NP-complete problems First-order logic Function Interpretation FO Boolean satisfiability problem Mathematics Logic Mathematical logic

UPDATE